RISC Publications & Reports		RISC Report Series		Search	Gröbner Bases Bibliography
Publications in the frame of project 'Symbolic Computation Techniques for Unranked Terms '		Technical Reports in the frame of project 'Symbolic Computation Techniques for Unranked Terms '		Talks in the frame of project 'Symbolic Computation Techniques for Unranked Terms '

Search for:
Research Project: Symbolic Computation Techniques for Unranked Terms

2020

• Ilias Kotsireas, Temur Kutsia, Dimitris Simos. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Annals of Mathematics and Artificial Intelligence 88(1), pp. 213-236. 2020. ISSN 1573-7470. [doi] [pdf] [bib]

2017

• Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. Information and Computation 255(2), pp. 262-286. 2017. ISSN: 0890-5401. [doi] [bib]
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning 58(2), pp. 293-310. 2017. ISSN 0168-7433. [doi] [bib]
• Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayr. An overview of PρLog. In: Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, Y. Lierler and W. Taha (ed.), Lecture Notes in Computer Science 10137, pp. 34-49. 2017. Springer, ISBN 978-3-319-51675-2. [pdf] [bib]
• Temur Kutsia. The 8th International Symposium on Symbolic Computation in Software Science, SCSS 2017 (member of program committee), http://ghourabi.net/SCSS2017/, 2017. [bib]
• Manfred Schmidt-Schauss, Temur Kutsia, Jordy Levy, Mateu Villaret. Nominal Unification of Higher Order Expressions with Recursive Let. In: Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, M. Hermenegildo and P. Lopez-Garcia (ed.), LNCS 10184, pp. 328-344. 2017. Springer, ISBN 978-3-319-63138-7. [pdf] [bib]
• Temur Kutsia. Standing committee member. 2017. International Tbilisi Symposium on Language, Logic and Computation, TbiLLC. [bib]
• Temur Kutsia. Steering committee member. 2017. International Workshop on Unification. [bib]
• Temur Kutsia. Steering committee co-chair. 2017. International Symposium on Symbolic Computation in Software Science, SCSS. [bib]
• Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia. Pattern-Based Calculi with Finitary Matching. Logic Journal of the IGPL, pp. -. 2017. Oxford University Press, ISSN 1367-0751. To appear. [doi] [bib]

2016

• Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin. CLP(H): Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming 16(2), pp. 141-162. 2016. ISSN 1471-0684. [url] [bib]
• Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. JFR 9(1), pp. 149-185. 2016. ISSN 1972-5787. [doi] [bib]
• Boris Konev, Temur Kutsia. Anti-Unification of Concepts in Description Logic EL. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Chitta Baral, James P. Delgrande, Frank Wolter (ed.), pp. 227-236. April 25-29 2016. AAAI Press, Cape Town, South Africa, 978-1-57735-755-1. [url] [bib]
• Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Unification of Higher Order Expressions with Recursive Let. Technical report no. 16-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2016. [pdf] [bib]
• Temur Kutsia. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016 (member of program committee), 2016. [bib]
• Temur Kutsia. The 30th International Workshop on Unification, UNIF 2016 (member of program committee), 2016. [bib]
• Temur Kutsia. The 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016 (member of program committee), 2016. [bib]
• Temur Kutsia. 11th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2016) (member of program committee), 2016. [bib]
• Mircea Marin, Temur Kutsia, Besik Dundua. A rewrite-based computational model for functional logic programming. In: Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, James H. Davenport (ed.), EPiC Series in Computing 39, pp. 95-106. 2016. EasyChair, ISSN 2398-7340. [url] [bib]
• Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer. An Overview of PρLog. Technical report no. 16-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2016. [pdf] [bib]
• B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description). In: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016, M. Carro, A. King, N. Saeedloei, and M. De Vos (ed.), OpenAccess Series in Informatics (OASIcs) 52, pp. 10.1-10.5. 2016. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, ISBN 978-3-95977-007-1, ISSN 2190-6807. [url] [bib]
• Temur Kutsia. Anti-Unification-Based Techniques for Program Analysis. September 28, 2016. Invited colloquium talk at Cyber-Security Lecture Series organized by the Austrian Institute of Technology (AIT), SBA Research, and Technical University of Vienna. [url] [bib]
• Temur Kutsia. Steering committee co-chair. 2016. International Symposium on Symbolic Computation in Software Science, SCSS. [bib]
• Temur Kutsia. Steering committee member. 2016. International Workshop on Unification. [bib]
• Temur Kutsia. Standing committee member. 2016. International Tbilisi Symposium on Language, Logic and Computation, TbiLLC. [bib]
• David M. Cerna and Wolfgang Schreiner, Temur Kutsia. Predicting Space Requirements for a Stream Monitor Specification Language. In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [doi] [bib]

2015

• Adel Bouhoula, Bruno Buchberger, Laura Kovacs, Temur Kutsia (ed.). Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science. ISSN 0747-7171. [doi] [bib]
• Temur Kutsia, Mircea Marin. Regular Expression Order-Sorted Unification and Matching. Journal of Symbolic Computation 67, pp. 42-67. 2015. ISSN 0747-7171. [doi] [pdf] [bib]
• Temur Kutsia. 26th International Conference on Rewriting Techniques and Applications, RTA 2015 (member of program committee), http://rdp15.mimuw.edu.pl/index.php?site=rta, 2015. [bib]
• Temur Kutsia. 29th International Workshop on Unification, UNIF 2015 (member of program committee), http://rdp15.mimuw.edu.pl/index.php?site=unif, 2015. [bib]
• Temur Kutsia. 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015 (member of program committee), 2015. [bib]
• Temur Kutsia. Selected Topics in Unification Theory. April 1, 2015. Invited colloquium talk at Department of Mathematics, University of Brasilia, Brazil. [bib]
• Temur Kutsia. Selected Topics in Unification Theory: Anti-Unification. April 7, 2015. Invited colloquium talk at Department of Computer Science, University of Brasilia, Brazil. [bib]
• Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos. Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs) , pp. 241-256. 2015. Schloss Dagstuhl, ISSN 1868-8969. [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. RISC. Technical report no. 15-03, April 2015. [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs) , pp. 57-73. 2015. ISSN 1868-8969. [pdf] [bib]
• Besik Dundua, Mario Florido, Temur Kutsia. Lambda Calculus with Regular Types. In: Proceeding of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, , pp. -. 2015. To appear. [pdf] [bib]
• Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos. Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. June 29, 2015. Contributed talk at 26th International Conference on Rewriting Techniques and Applications, RTA 2015. [url] [bib]
• Alexander Baumgartner. Anti-Unification Algorithms: Design, Analysis, and Implementation. RISC, JKU Linz. PhD Thesis. September 2015. [pdf] [bib]
• Temur Kutsia, Nino Amiridze. Word Search Sequences in Scientific Discussions: Giving Talks in Georgian. July 30, 2015. Contributed talk at 14th International Pragmatics Conference, Antwerp, Belgium. [bib]
• Temur Kutsia. Steering committee member. 2015. ACM Symposium on Principles and Practice of Declarative Programming, PPDP. [bib]
• Temur Kutsia. Steering committee member. 2015. Workshop on Automated Specification and Verification of Web Systems, WWV. [bib]
• Temur Kutsia. Steering committee co-chair. 2015. International Symposium on Symbolic Computation in Software Science, SCSS. [bib]
• Temur Kutsia. Standing Committee member. 2015. International Tbilisi Symposium on Language, Logic and Computation. [bib]
• Boris Konev, Temur Kutsia. Anti-Unification of Concepts in Description Logic EL. Technical report no. 15-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2015. [pdf] [bib]
• Temur Kutsia. Anti-Unification: Algorithms and Applications. April 30, 2015. Invited colloquium talk at Department of Computer Science, University of Liverpool, UK. [bib]

2014

• Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning 52(2), pp. 155-190. 2014. ISSN 0168-7433. [doi] [bib]
• Temur Kutsia, Christophe Ringeissen. The 28th International Workshop on Unification, UNIF 2014 (program chair), http://vsl2014.at/unif, 2014. [bib]
• Temur Kutsia. Steering committee member. 2014. ACM Symposium on Principles and Practice of Declarative Programming, PPDP. [bib]
• Temur Kutsia. Steering committee member. 2014. Workshop on Automated Specification and Verification of Web Systems, WWV. [bib]
• Temur Kutsia. Steering committee co-chair. 2014. International Symposium on Symbolic Computation in Software Science, SCSS . [bib]
• Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin. Constraint Logic Programming for Hedges: A Semantic Reconstruction. Technical report no. 14-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2014. [pdf] [bib]
• Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin. Constraint Logic Programming for Hedges: A Semantic Reconstruction. In: Proceedings of the Twelfth International Symposium on Functional and Logic Programming, FLOPS 2014, Michael Codish and Eijiro Sumii (ed.), LNCS 8475, pp. 285-301. 2014. Springer, ISBN 978-3-319-07150-3. [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. RISC, JKU Linz. Technical report no. 14-05, March 2014. [pdf] [bib]
• Temur Kutsia. 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 (member of program committee), http://users-cs.au.dk/danvy/ppdp14/, 2014. [bib]
• Temur Kutsia. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014 (member of program committee), http://synasc.ro/2014/, 2014. [bib]
• Temur Kutsia, Andrei Voronkov. 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014 (program chair), www.easychair.org/smart-program/SCSS2014/, 2014. [bib]
• Temur Kutsia, Christophe Ringeissen. Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2014. [url] [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia. Unranked Second-Order Anti-Unification. In: Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 , Ulrich Kohlenbach (ed.), Lecture Notes in Computer Science 8652, pp. 66- 80. 2014. Springer, ISBN 978-3-662-44144-2. [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia. A Library of Anti-Unification Algorithms. Technical report no. 14-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). June 2014. [url] [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia. A library of anti-unification algorithms. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Eduardo Ferme and Joao Leite (ed.), Lecture Notes in Computer Science , pp. 543-557. 2014. Springer, ISBN 978-3-319-11557-3. [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal anti-unification. In: Proceedings of the 28th International Workshop on Unification, UNIF 2014, Temur Kutsia, Christophe Ringeissen (ed.), pp. 62-68. 2014. [pdf] [bib]
• Temur Kutsia. Constraint Logic Programming for Hedges: A Semantic Reconstruction. August 27, 2014. Invited colloquium talk at VIAM, Ivane Javakhishvili Tbilisi State University. [bib]
• Temur Kutsia. Steering committee member. 2014. International Workshop on Unification, UNIF. [bib]
• Temur Kutsia, Andrei Voronkov (eds.). Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers. Technical report no. 14-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2014. [url] [pdf] [bib]

2013

• Temur Kutsia. Conferences on Intelligent Computer Mathematics, CICM 2013 (member of program committee), http://www.cicm-conference.org/2013/cicm.php, 2013. [bib]
• Temur Kutsia. 24th International Conference on Rewriting Techniques and Applications, RTA 2013 (member of program committee), http://rta2013.few.vu.nl/, 2013. [bib]
• Temur Kutsia. Member of the Standing Committee. 2013. Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013, http://www.illc.uva.nl/Tbilisi/Tbilisi2013/. [bib]
• Temur Kutsia. Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013 (general chair), http://www.risc.jku.at/conferences/scss2013/, 2013. [bib]
• Temur Kutsia. Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013 (member of program committee), http://www.risc.jku.at/conferences/scss2013/, 2013. [bib]
• Temur Kutsia. 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013 (member of program committee), http://synasc13.info.uvt.ro/, 2013. [bib]
• Laura Kovacs, Temur Kutsia (ed.). Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013. Technical report no. 13-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2013. [pdf] [bib]
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. A Variant of Higher-Order Anti-Unification. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Femke van Raamsdonk (ed.), Leibniz International Proceedings in Informatics 21, pp. 113-127. 2013. ISBN 978-3-939897-53-8, ISSN 1868-8969. [url] [bib]
• Temur Kutsia. Unification, Matching, and Transformation of Unranked Terms. June 27, 2013. Invited talk at Meeting of the IFIP Working Group 1.6 - Term Rewriting. [url] [bib]
• Temur Kutsia. Anti-Unification: Algorithms and Applications. June 27, 2013. Invited talk at The 27th International Workshop on Unification, UNIF 2013. [url] [bib]
• Alexander Baumgartner, Temur Kutsia. Unranked Anti-Unification with Hedge and Context Variables. In: Proceedings of the 27th International Workshop on Unification, UNIF 2013, Barbara Morawska, Konstantin Korovin (ed.), pp. 13-21. 2013. [url] [bib]
• Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia. A Confluent Pattern Calculus with Hedge Variables. In: Proceedings of the 2nd International Workshop on Confluence, IWC 2013, Nao Hirokawa, Vincent van Oostrom (ed.), pp. 41-45. 2013. [url] [bib]
• Temur Kutsia. Steering committee member. 2013. ACM Symposium on Principles and Practice of Declarative Programming, PPDP. [bib]
• Temur Kutsia. Steering committee member. 2013. Workshop on Automated Specification and Verification of Web Systems, WWV. [bib]
• Temur Kutsia. Steering committee co-chair. 2013. International Symposium on Symbolic Computation in Software Science, SCSS . [bib]
• Temur Kutsia. The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19 (member of program committee), http://www.lpar-19.info/, 2013. [bib]
• Temur Kutsia. Sequence and Context Unification. December 20, 2013. Invited colloquium talk at Department of Computer Science, University of Porto, Portugal. [bib]

2012

• Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia. A Dynamic Pattern Calculus with Hedge Variables. Technical report no. 12-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf] [bib]
• Temur Kutsia, Mircea Marin. Solving, Reasoning, and Programming in Common Logic. Technical report no. 12-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf] [bib]
• Temur Kutsia. 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012 (member of program committee), http://users.dsic.upv.es/~jsilva/wwv2012/, 2012. [bib]
• Temur Kutsia. IJCAR Workshop on Automated Theory eXploration, ATX 2012 (member of program committee), http://dream.inf.ed.ac.uk/events/atx2012/, 2012. [bib]
• Temur Kutsia. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012 (member of program committee), http://synasc12.info.uvt.ro/, 2012. [bib]
• Temur Kutsia. International Symposium on Symbolic Computation in Software Science, SCSS 2012 (member of program committee), http://www.cedar-forest.org/forest/events/scss2012/call.html, 2012. [bib]
• Temur Kutsia. Matching, Unification, and Generalizations. Course at the 6th International School on Rewriting, ISR 2012. Valencia, Spain. July 16-20 2012. [bib]
• Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. A Variant of Higher-Order Anti-Unification. Technical report no. 12-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf] [bib]
• Temur Kutsia, Mircea Marin. Solving, Reasoning, and Programming in Common Logic. In: Proc. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Andrei Voronkov (ed.), pp. 119-126. 2012. IEEE Computer Society, ISBN 978-0-7695-4934-7. [pdf] [bib]
• Temur Kutsia, Mircea Marin. Regular Expression Order-Sorted Unification and Matching. Technical report no. 12-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf] [bib]
• Temur Kutsia. Steering committee member. 2012. ACM Symposium on Principles and Practice of Declarative Programming, PPDP. [bib]
• Temur Kutsia. Steering committee member. 2012. Workshop on Automated Specification and Verification of Web Systems, WWV. [bib]
• Laura Kovacs, Temur Kutsia (ed.). Special issue on Automated Specification and Verification of Web Systems. ISSN 1570-8683. [doi] [bib]

---

webmaster